Strategies made explicit in Dynamic Game Logic
نویسنده
چکیده
We propose an explicit logic of strategies (SDGL) in the Dynamic Game Logic (DGL) framework and provide a complete axiomatization for this logic. Some discussions are put forward regarding SDGL and DGL, raising an interesting issue about their combination.
منابع مشابه
Alternating-time Temporal Logic with Explicit Programs
We introduce ATLEP, an extension of Alternating-time Temporal Logic (ATL), following the recent Alternating-time Temporal Logic with Explicit Actions (ATLEA). ATLEP adds to the language of ATL explicit programs whose agents are committed to play, formulated in an extension of Propositional Dynamic Logic (PDL) where strategies can be captured. We add combinations of commitments, inspired from th...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملDynamic Logic on Games with Structured Strategies
We consider a propositional dynamic logic whose programs are regular expressions over game strategy pairs. At the atomic level, these are finite extensive form game trees with structured strategy specifications, whereby a player’s strategy may depend on properties of the opponent’s strategy. The advantage of imposing structure not merely on games or on strategies but on game strategy pairs, is ...
متن کاملA game theory approach to the Iranian forest industry raw material market
Dynamic game theory is applied to analyze the timber market in northern Iran as a duopsony. The Nash equilibrium and the dynamic properties of the system based on marginal adjustments are determined. When timber is sold, the different mills use mixed strategies to give sealed bids. It is found that the decision probability combination of the different mills follow a special form of attractor an...
متن کاملA Mini-guide to Logic in Action
The Dynamic Turn in logic makes actions of communication and general information update into explicit objects of investigation. This paper is a brief tour of this research program in a new version, bringing together ideas from logic, philosophy, computer science, and game theory. In particular, we discuss epistemic, dynamic, and temporal logics, belief revision, and game logics.
متن کامل